CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Finite Model Theory and Its Applications
Finite Model Theory and Its Applications by Vardi, Moshe Y., Kolaitis, ... ISBN: 9783540004288 List Price: $109.00
$69.46 (Save 36%)
2.
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11...
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11... by Gottlob, Georg, Vardi, Mosh... ISBN: 9783540589075 List Price: $89.95
$46.53 (Save 48%)
3.
Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, L...
Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, L... by Vardi, Moshe Y., Voronkov, ... ISBN: 9783540201014 List Price: $79.95
$52.33 (Save 34%)
4.
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern...
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern... by Peled, Doron A., Vardi, Mos... ISBN: 9783540001416 List Price: $85.00
$52.33 (Save 38%)
5.
Database Theory - Icdt '95
Database Theory - Icdt '95 by Gottlob, Georg, Vardi, Mosh... ISBN: 9783662174968 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Computer Aided Verification
Computer Aided Verification by Hu, Alan J., Vardi, Moshe Y. ISBN: 9783662193075 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Formal Techniques for Networked and Distributed Systems - Forte 2002
Formal Techniques for Networked and Distributed Systems - Forte 2002 by Peled, Doron A., Vardi, Mos... ISBN: 9783662201381 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Database Theory-Icdt '95 5th International Conference Prague, Czech Republic, January 11-13,...
Database Theory-Icdt '95 5th International Conference Prague, Czech Republic, January 11-13,... by Gottlob, Georg, Vardi, Mosh... ISBN: 9780387589077 List Price: $68.00

OUT OF STOCK

See Availability on Amazon